assertion language meaning in English
判定语言
Examples
- The last level , assertion , is typically implemented through java code or through a dedicated assertion language such as schematron
最后一层，即断言，通常使用java代码或者专门的断言语言如schematron来实现。 - So that particular argument for extending the assertion language or for expressing contracts in english goes away at least in the long term
因此，有关扩展断言语言和英语中的契约表述的争论，在一个较长时期后将会沉寂下来。 - This is just a short list of the types of program properties that can be expressed in a traditional assertion language - properties that any programmer would like in code
这只是可以用传统断言语言表示的程序特性类型的简短列表所有程序员都希望在代码中包含的特性： - We can now consider the three languages for the specification of an interface that is , the unit testing language , the assertion language , and the type system to form a hierarchy of expressiveness
现在我们可以考虑用接口规范的三种语言（它们是，单元测试语言、断言语言和类型系统）来形成表达的层次。 - Let s take a quick look at three categories of common assertion properties common , but which don t offer us the full coverage we d like , compare them with the types of program properties that can be expressed in a traditional assertion language , and examine assertion properties that are necessary for a multithreading context but are impossible to express as conventional assertions
让我们快速浏览三种类型常见的断言特性（虽然是常见的，但它们没有提供我们所需的完整范围） ，将它们与可以用传统断言语言表示的程序特性的类型进行比较，并检查多线程上下文所必需的，但不可能表示成常规断言的断言特性。